21. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
22. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
23. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
24. Combinatorial algorithms :
Author: Costas S. Iliopoulos, William F. Smyth (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
Classification :
QA164
.
I58
2011
25. Foundations of Logic and Mathematics
Author: by Yves Nievergelt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
26. Foundations of mathematical logic /
Author: Haskell B. Curry.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
.
C85
1977
27. Fuzzy Algorithms for Control
Author: edited by H. B. Verbruggen, H.-J. Zimmermann, R. Babuška.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
28. Fuzzy Logic :
Author: W Leinfellner
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
29. Fuzzy Sets, Logics and Reasoning about Knowledge
Author: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
30. Fuzzy Sets in Approximate Reasoning and Information Systems
Author: edited by James C. Bezdek, Didier Dubois, Henri Prade.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
31. Geometry of Subanalytic and Semialgebraic Sets
Author: by Masahiro Shiota.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraic topology.,Geometry, Algebraic.,Geometry.,Logic, Symbolic and mathematical.,Mathematics.,Topology.
32. Handbook of Logic in Computer Science
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,Logic, Symbolic and mathematical,علوم کامپیوتر ,منطق ریاضی
Classification :
E-Book
,
33. Handbook of logic in computer science
Author: / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Logic, Symbolic and mathematical.
Classification :
QA
,
76
,.
H2785
,
1992
34. Ideals, Varieties, and Algorithms
Author: by David Cox, John Little, Donal O'Shea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
35. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993
36. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
37. Logic and Algebraic Methods
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and Mathematical. ; Computer Science. ;
38. Logic and implication
Author: Petr Cintula, Carles Noguera
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Algebra, Abstract,a03,a05
39. Logic in algebraic form; Three languages and theories
Author: Craig, William
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، logic, Symbolic and mathematical,، Proof theory
Classification :
QA
9
.
C7
40. Logic, language, information, and computation
Author: \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
Classification :
P
39
.
L644
2015
E-Book
,
